逐步求精的一种模型

提出一种支持程序开发的结构化方法．该方法以一种简单的问题分解策略为基础，比Ｗｉｒｔｈ－Ｄｉｊｋｓｔｒａ的自顶向下逐步求精方法更利于面向目标的程序设计．由该方法可知，一个程序可经一系列求精而开发出来，每一步求精都能为相应的最弱前置条件序列建立后置条件．这种策略使情况分析减少到极限，简化了结构化程序的证明，并保证了程序结构和数据结构之间的对应．     

水泥熟料低温烧成机理分析及试验研究

研究了水泥熟料低温烧成机理．试验结果显示：与传统回转窑烧成相比，分解温度降低了２００～３００℃；固相反应形成温度降低了１００～３００℃，Ｃ３Ｓ形成温度降低了８５～１００℃．熟料停留足够时间，可以在１３００±１０℃范围内烧成，且ｆＣａＯ在０．２９～２．８１％，比面积在２６６４～３４００ｃｍ２／ｇ时，其强度可达６２．５ＭＰａ，最大可达６９．４ＭＰａ．     

蠕变分析的有限元方法

介绍了蠕变分析的基本原理及有限元公式，并将蠕变分析加入参考文献［１］所述的有限元程序，扩充为热弹塑性蠕变分析的有限元程序．文中给出了典型算例．     

样条能量法解加肋板壳的静力问题

在这篇文章内，基于三次样条和能量原理的样条函数法被讨论来解加肋板壳的静力问题。结果表明，该方法可靠且有效．     

机械原理课程设计中的计算机辅助设计

本文阐述了机械原理课程设计教学改革的必要性、可行性、存在的一些问题及解决方法、机械原理课程设计的发展方向及展望。     

从梳理度看梳棉工艺路线之确定

本文分析了影响梳理度的诸因素,并从确保梳理度的角度出发,论证了目前国产梳棉机的工艺路线以高速度,强分梳,小速比、较轻定量为宜。     

关于固体燃烧的一类双自由边界问题

研究双自由边界边问题:u_(1t)=u_(1xx),D_r={(x,t) |r(t)相似文献   

线性不等式在具有FUZZY数系数时的解

本文讨论了线性不等式当系数为 Fuzzy 数时不等式的解.这是最优化问题中所常常遇到的问题.在本文中,我们把一般的线性不等式的解集看成是系数向量空间到解空间的点——集映射,然后用扩张原理,将该点——集映射扩张到 Fuzzy 集的运算,因而得到线性不等式在具有 Fuzzy 数系数时的 Fuzzy 解集 .并讨论了当系数为正则 Fuzzy 数时,Fuzzy 解集的性质.     

非惯性系动力学的高阶非完整系统的广义Volterra型方程

建立了变质量力学系统相对于非惯性系的万有D′Alembert变分原理,得到了至今最具一般意义的变质量任意阶非线性非完整力学系统相对于非惯性系的广义Volterra型方程。以往的Volterra方程均为本文的特款。     

“霍亨贝方法”原理的应用与分析

本文介绍了“霍亨贝方法”应用作仿射轴测图的原理和作图分析,为读者提供一种不同于常用轴测图方法且实用有效的作图方法,并对其理论进行了分析。